Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۲۸ ثانیه یافت شد.
1. Automated Theory Formation in Pure Mathematics
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
by Simon Colton.
کتابخانه:
Center and Library of Islamic Studies in European Languages
(
Qom
)
موضوع :
رده :
QA8
.
4
B975
2002
»
1
«
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal